Principles of verified numerical integration
نویسندگان
چکیده
منابع مشابه
Design of Oil Refineries Hydrogen Network Using Process Integration Principles
This paper describes the application of process integration principles to the design of oil refineries hydrogen network. In this regard, a design hierarchy as well as heuristics and required guidelines are proposed. The recommended rules compensate lack of procedure to the design and make the design process easier. The guiding principles of the design are based upon pinch technology and ext...
متن کاملVerified Numerical Computation for Nonlinear Equations
After the introduction basic properties of interval arithmetic are discussed and different approaches are repeated by which one can compute verified numerical approximations for a solution of a nonlinear equation.
متن کاملOn Verified Numerical Computations in Convex Programming
This survey contains recent developments for computing verified results of convex constrained optimization problems, with emphasis on applications. Especially, we consider the computation of verified error bounds for non-smooth convex conic optimization in the framework of functional analysis, for linear programming, and for semidefinite programming. A discussion of important problem transforma...
متن کاملA Verified Automatic Contour Integration Algorithm
Abstract. A verified automatic integration algorithm is proposed for calculating contour integration over complex field using numerical computations. The proposed algorithm is based on trapezoidal rule for angle. The error analysis of the method have been presented by several authors, however, these investigations are done basically for examining the rates of convergence, and several constants ...
متن کاملPrinciples of Data Integration
The World Wide Web offers a vast array of data in many forms. The majority of this data is structured for presentation not to machines but to humans, in the form of HTML tables, lists, and forms-based search interfaces. These extremely heterogeneous sources were created by individuals around the world and cover a very broad collection of topics in over 100 languages. Building systems that offer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computational and Applied Mathematics
سال: 2007
ISSN: 0377-0427
DOI: 10.1016/j.cam.2005.07.040